Model theory of fields with free operators in characteristic zero
نویسندگان
چکیده
منابع مشابه
Model Theory of Fields with Free Operators in Characteristic Zero
Generalising and unifying the known theorems for difference and differential fields, it is shown that for every finite free S-algebra D over a field A of characteristic zero the theory of D-fields has a model companion D -CF0 which is simple and satisfies the Zilber dichotomy for finite-dimensional minimal types.
متن کاملThe Model Companion of differential Fields with Free operators
A model companion is shown to exist for the theory of partial differential fields of characteristic zero equipped with free operators that commute with the derivations. The free operators here are those introduced in [R. Moosa and T. Scanlon, Model theory of fields with free operators in characteristic zero, Preprint 2013]. The proof relies on a new lifting lemma in differential algebra: a diff...
متن کاملRédei polynomials over fields of characteristic zero
The possible role of Rédei polynomials over fields of characteristic zero in the quest for solutions to problems in the study of geometries and vector spaces over finite fields is discussed. This note is exploratory and does not attempt to solve any particular problem, although an example problem is considered.
متن کاملModel Theory of Fields With Operators - a Survey
The model theory of fields with operators has proven to be very useful in applications of model theory to problems outside logic. Differentially closed fields and separably closed fields were instrumental in Hrushovski’s proof of the conjecture of Mordell-Lang ([39]), and in work of Hrushovski and Pillay on counting the number of transcendental points on certain varieties ([44]). Let me also me...
متن کاملdifferentially closed fields of characteristic zero with a generic automorphism
Hrushovski showed that the theory of difference-differential fields of characteristic zero has a model-companion, which we shall denote DCFA. We give an axiomatization for DCFA and prove some important model-theoretic results as supersimplicity and elimination of imaginaries. We mention some properties of the fixed field and the constant field of a model of DCFA.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Logic
سال: 2014
ISSN: 0219-0613,1793-6691
DOI: 10.1142/s0219061314500093